منابع مشابه
Higher-Order and Semantic Unification
Abstrac t . We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard unification procedure, with slight modifications, can be used to solve the satisfiability problem in combinatory logic with a convergent set of algebraic axioms R, thus resulting in a complete higher-order unificatio...
متن کاملGrand Unification in Higher Dimensions
We have recently proposed an alternative picture for the physics at the scale of gauge coupling unification, where the unified symmetry is realized in higher dimensions but is broken locally by a symmetry breaking defect. Gauge coupling unification, the quantum numbers of quarks and leptons and the longevity of the proton arise as phenomena of the symmetrical bulk, while the lightness of the Hi...
متن کاملFocus and Higher-Order Unification
Pulman has shown that Higher-Order Unifcat ion (HOU) can be used to model the interpretation of focus. In this paper, we extend the unification based approach to cases which are often seen as a test-bed for focus theory: utterances with multiple focus operators and second occurrence expressions. We then show that the resulting analysis favourably compares with two prominent theories of focus (n...
متن کاملLinear Higher-Order Pre-Unification
We develop an efficient representation and a pre-unification algorithm in the style of Huet for the This extended abstract has been submitted to the Twelfth Annual Symposium on Logic in Computer Science LICS’97, Warsaw, Poland, June 29th – July 2nd 1997. linear λ-calculus λ→−◦&> which includes intuitionistic functions (→), linear functions (−◦), additive pairing (&), and additive unit (>). Appl...
متن کاملGauge Unification in Higher Dimensions
A complete 5-dimensional SU(5) unified theory is constructed which, on compactification on the orbifold S/(Z2 ×Z ′ 2), yields the minimal supersymmetric standard model. The orbifold accomplishes SU(5) gauge symmetry breaking, doublet-triplet splitting, and a vanishing of proton decay from operators of dimension 5. Until 4d supersymmetry is broken, all proton decay from dimension 4 and dimension...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physics Letters B
سال: 2009
ISSN: 0370-2693
DOI: 10.1016/j.physletb.2009.05.053